The Tutte-Grothendieck group of a convergent alphabetic rewriting system

The two operations, deletion and contraction of an edge, on multigraphs directly lead to the Tutte polynomial which satisfies a universal problem. As observed by Brylawski in terms of order relations, these operations may be interpreted as a particular instance of a general theory which involves universal invariants like the Tutte polynomial, and a universal group, called the Tutte-Grothendieck group. In this contribution, Brylawski's theory is extended in two ways: first of all, the order relation is replaced by a string rewriting system, and secondly, commutativity by partial commutations (that permits a kind of interpolation between non commutativity and full commutativity). This allows us to clarify the relations between the semigroup subject to rewriting and the Tutte-Grothendieck group: the later is actually the Grothendieck group completion of the former, up to the free adjunction of a unit (this was even not mention by Brylawski), and normal forms may be seen as universal invariants. Moreover we prove that such universal constructions are also possible in case of a non convergent rewriting system, outside the scope of Brylawski's work.Comment: 17 page

M\"obius inversion formula for monoids with zero

The M\"obius inversion formula, introduced during the 19th century in number theory, was generalized to a wide class of monoids called locally finite such as the free partially commutative, plactic and hypoplactic monoids for instance. In this contribution are developed and used some topological and algebraic notions for monoids with zero, similar to ordinary objects such as the (total) algebra of a monoid, the augmentation ideal or the star operation on proper series. The main concern is to extend the study of the M\"obius function to some monoids with zero, i.e., with an absorbing element, in particular the so-called Rees quotients of locally finite monoids. Some relations between the M\"obius functions of a monoid and its Rees quotient are also provided.Comment: 12 pages, r\'esum\'e \'etendu soumis \`a FPSAC 201

Partial monoids: associativity and confluence

A partial monoid $P$ is a set with a partial multiplication $\times$ (and total identity $1_P$) which satisfies some associativity axiom. The partial monoid $P$ may be embedded in a free monoid $P^*$ and the product $\star$ is simulated by a string rewriting system on $P^*$ that consists in evaluating the concatenation of two letters as a product in $P$, when it is defined, and a letter $1_P$ as the empty word $\epsilon$. In this paper we study the profound relations between confluence for such a system and associativity of the multiplication. Moreover we develop a reduction strategy to ensure confluence and which allows us to define a multiplication on normal forms associative up to a given congruence of $P^*$. Finally we show that this operation is associative if, and only if, the rewriting system under consideration is confluent

Rigidity of the topological dual of spaces of formal series with respect to product topologies

Even in spaces of formal power series is required a topology in order to legitimate some operations, in particular to compute infinite summations. Many topologies can be exploited for different purposes. Combinatorists and algebraists may think to usual order topologies, or the product topology induced by a discrete coefficient field, or some inverse limit topologies. Analysists will take into account the valued field structure of real or complex numbers. As the main result of this paper we prove that the topological dual spaces of formal power series, relative to the class of product topologies with respect to Hausdorff field topologies on the coefficient field, are all the same, namely the space of polynomials. As a consequence, this kind of rigidity forces linear maps, continuous for any (and then for all) of those topologies, to be defined by very particular infinite matrices similar to row-finite matrices

A new characterization of group action-based perfect nonlinearity

International audienceThe left-regular multiplication is explicitly embedded in the notion of perfect nonlinearity. But there exist many other group actions. By replacing translations by another group action the new concept of group action-based perfect nonlinearity has been introduced. In this paper we show that this generalized concept of nonlinearity is actually equivalent to a new bentness notion that deals with functions defined on a finite Abelian group G that acts on a finite set X and with values in the finite-dimensional vector space of complex-valued functions defined on X

Curvature and confinement effects for flame speed measurements in laminar spherical and cylindrical flames.

This paper discusses methods used to obtain laminar flame speeds in spherical laminar premixed flames. Most recent studies express the laminar flame consumption speed as ρb/ρudR/dt, where R is the flame radius and ρb/ρu is the ratio of the burnt to the fresh gas density (ρb is evaluated at chemical equilibrium and supposed to be constant). This paper investigates the validity of this assumption by reconsidering it in a more general framework. Other formulae are derived and tested on a DNS of cylindrical flames (methane/air and octane/air). Results show that curvature and confinement effects lead to variations of ρb and ρu and to significant errors on the flame speed. Another expression (first proposed by Bradley and Mitcheson in 1976) is derived where no density evaluation is required and only pressure and flame radius evolution are used. It is shown to provide more precise results for the consumption speed than ρb/ρudR/dt because it takes into account curvature and confinement of the flame in the closed bomb

Experimental and numerical study of the accuracy of flame-speed measurements for methane/air combustion in a slot burner

Measuring the velocities of premixed laminar flames with precision remains a controversial issue in the combustion community. This paper studies the accuracy of such measurements in two-dimensional slot burners and shows that while methane/air flame speeds can be measured with reasonable accuracy, the method may lack precision for other mixtures such as hydrogen/air. Curvature at the flame tip, strain on the flame sides and local quenching at the flame base can modify local flame speeds and require correc- tions which are studied using two-dimensional DNS. Numerical simulations also provide stretch, dis- placement and consumption flame speeds along the flame front. For methane/air flames, DNS show that the local stretch remains small so that the local consumption speed is very close to the unstretched premixed flame speed. The only correction needed to correctly predict flame speeds in this case is due to the finite aspect ratio of the slot used to inject the premixed gases which induces a flow acceleration in the measurement region (this correction can be evaluated from velocity measurement in the slot section or from an analytical solution). The method is applied to methane/air flames with and without water addition and results are compared to experimental data found in the literature. The paper then discusses the limitations of the slot-burner method to measure flame speeds for other mixtures and shows that it is not well adapted to mixtures with a Lewis number far from unity, such as hydrogen/air flames

Non Abelian Bent Functions

International audiencePerfect nonlinear functions from a finite group $G$ to another one $H$ are those functions $f: G \rightarrow H$ such that for all nonzero $\alpha \in G$, the derivative $d_{\alpha}f: x \mapsto f(\alpha x) f(x)^{-1}$ is balanced. In the case where both $G$ and $H$ are Abelian groups, $f: G \rightarrow H$ is perfect nonlinear if and only if $f$ is bent {\it i.e.} for all nonprincipal character $\chi$ of $H$, the (discrete) Fourier transform of $\chi \circ f$ has a constant magnitude equals to $|G|$. In this paper, using the theory of linear representations, we exhibit similar bentness-like characterizations in the cases where $G$ and/or $H$ are (finite) non Abelian groups. Thus we extend the concept of bent functions to the framework of non Abelian groups

Large-Eddy Simulation of combustion instabilities in a variable-length combustor.

This article presents a simulation of a model rocket combustor with continuously variable acoustic properties thanks to a variable-length injector tube. Fully compressible Large-Eddy Simulations are conducted using the AVBP code. An original flame stabilization mechanism is uncovered where the recirculation of hot gases in the corner recirculation zone creates a triple flame structure. An unstable operating point is then chosen to investigate the mech- anism of the instability. The simulations are compared to experimental results in terms of frequency and mode structure. Two-dimensional axi-symmetric computations are com- pared to full 3D simulations in order to assess the validity of the axi-symmetry assumption for the prediction of mean and unsteady features of this flow. Despite the inaccuracies in- herent to the 2D description of a turbulent flow, for this configuration and the particular operating point investigated, the axi-symmetric simulation qualitatively reproduces some features of the instability